- 2 402 202 книги
- Поиск
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Автор: Manuel Kauers, Автор: Manfred Kerber, Автор: Robert Miner, Автор: Wolfgang WindsteigerКатегория: Компьютеры
Размер книги: 3.33 Mb
Error-Correcting Linear Codes: Classification by Isometry and Applications (Algorithms and Computation in Mathematics)
Автор: Anton Betten, Автор: Michael Braun, Автор: Harald Fripertinger, Автор: Adalbert Kerber, Автор: Axel Kohnert, Автор: Alfred Wassermann, Автор:Категория: Математика, Вычислительная математика
Размер книги: 4.18 Mb
25 Jahre ressourcen- und kompetenzorientierte Forschung: Der kompetenzbasierte Ansatz auf dem Weg zum Schlüsselparadigma in der Managementforschung
Автор: Michael Stephan, Автор: Wolfgang Kerber, Автор: Michael Lingenfelder, Автор: Tim Kessler
Размер книги: 3.22 Mb
Die Arbeitsfalle: Wie man sein Leben zurückgewinnt, 2. Auflage
Автор: Bärbel Kerber
Размер книги: 11.14 Mb
Gesellschaft und Erkenntnis: Zur materialistischen Erkenntnis- und Ökonomiekritik
Автор: Kornelia Hafner, Автор: Harald Kerber, Автор: Claus Rolshausen
Размер книги: 1.71 Mb
Error-Correcting Linear Codes
Автор: Anton Betten, Автор: Michael Braun, Автор: Harald Fripertinger, Автор: Adalbert Kerber, Автор: Axel Kohnert, Автор: Alfred Wassermann
Размер книги: 6.76 Mb
The Representation Theory of the Symmetric Group
Автор: Gordon James, Автор: Adalbert Kerber
Размер книги: 14.01 Mb
Representations of Permutation Groups: Representations of Wreath Products and Applications to the Representations Theory of Symmetric and Alternating Groups
Автор: Adalbert Kerber
Размер книги: 6.18 Mb
The 2007 ESO Instrument Calibration Workshop: Proceedings of the ESO Workshop Held in Garching, Ge
Автор: A. Kaufer, Автор: A. Kaufer, Автор: F. Kerber
Размер книги: 26.42 Mb
Representations of Permutation Groups I
Автор: A. KerberКатегория: Lecture notes
Размер книги: 780 Kb
Representations of Permutation Groups II
Автор: A. KerberКатегория: Lecture notes
Размер книги: 634 Kb
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Автор: Manuel Kauers, Автор: Manfred Kerber, Автор: Robert Miner, Автор: Wolfgang Windsteiger
Размер книги: 3.36 Mb
Towards Mechanized Mathematical Assistants, 14 conf., Calculemus 2007
Автор: Manuel Kauers, Автор: Manfred Kerber, Автор: Robert MinerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.37 Mb
Error-Correcting Linear Codes: Classification by Isometry and Applications (Algorithms and Computation in Mathematics)
Автор: Anton Betten, Автор: Michael Braun, Автор: Harald Fripertinger, Автор: Adalbert Kerber, Автор: Axel Kohnert, Автор: Alfred Wassermann
Размер книги: 6.77 Mb
The Cauchy Problem (Encyclopedia of Mathematics and its Applications)
Автор: Hector O. Fattorini, Автор: Adalbert Kerber
Размер книги: 5.57 Mb
Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings
Автор: John Lloyd, Автор: Veronica Dahl, Автор: Ulrich Furbach, Автор: Manfred Kerber, Автор: Kung-Kiu Lau, Автор: Catuscia Palamidessi, Автор: Luis M. Pereira, Автор: Yehoshua Sagiv, Автор: Peter J. Stuckey
Размер книги: 13.12 Mb